(clear)
(reset)
(load "fn71312-classes.clp")
(load "fn71312-instances.clp")
(reset)
(load "fn71312-moduleMAIN.clp")
(load "fn71312-moduleInforming.clp")
(load "fn71312-moduleAbstraction.clp")
(load "fn71312-moduleIndexing.clp")
(load "fn71312-moduleResults.clp")

(watch facts)
(watch instances)
(run)
